universal modus tollens problem